Ilev Artem V. «Axiomatizability and decidability of universal theories of hereditary classes of models of finite and infinite languages» // Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics 2024. №66 C.14-29
Rybalov A. N. «On complexity of the existential and universal theories of finite fields» // Applied Discrete Mathematics 2019. №45 C.85-89